$\forall$$g$:OCMon, $a$:$\mid$$g$$\mid$. ($a$ $<$ $a$) $\Rightarrow$ False